TAPAs: A Tool for the Analysis of Process Algebras

Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching. Systems are described as process algebras terms that are then mapped to labelled transition systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suitable for teaching, is that it maintains a consistent double representation of each system both as a term and as a graph. Another useful didactical feature is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied

TiO2@BSA nano-composites investigated through orthogonal multi-techniques characterization platform.

Abstract Biocompatible coating based on bovine serum albumin (BSA) was applied on two different TiO2 nanoparticles (aeroxide P25 and food grade E171) to investigate properties and stability of resulting TiO2@BSA composites, under the final perspective to create a "Safe-by-Design" coating, able to uniform, level off and mitigate surface chemistry related phenomena, as naturally occurring when nano-phases come in touch with proteins enriched biological fluids. The first step towards validating the proposed approach is a detailed characterization of surface chemistry with the quantification of amount and stability of BSA coating deposited on nanoparticles' surfaces. At this purpose, we implemented an orthogonal multi-techniques characterization platform, providing important information on colloidal behavior, particle size distribution and BSA-coating structure of investigated TiO2 systems. Specifically, the proposed orthogonal approach enabled the quantitative determination of bound and free (not adsorbed) BSA, a key aspect for the design of intentionally BSA coated nano-structures, in nanomedicine and, overall, for the control of nano-surface reactivity. In fact, the BSA-coating strategy developed and the orthogonal characterisation performed can be extended to different designed nanomaterials in order to further investigate the protein-corona formation and promote the implementation of BSA engineered coating as a strategy to harmonize the surface reactivity and minimize the biological impact

Constraining the ship contribution to the aerosol of the Central Mediterranean

Abstract. Particulate matter with aerodynamic diameters lower than 10 µm, (PM10) aerosol samples were collected during summer 2013 within the framework of the Chemistry and Aerosol Mediterranean Experiment (ChArMEx) at two sites located north (Capo Granitola) and south (Lampedusa Island), respectively, of the main Mediterranean shipping route in the Straight of Sicily. The PM10 samples were collected with 12 h time resolutions at both sites. Selected metals, main anions, cations and elemental and organic carbon were determined. The evolution of soluble V and Ni concentrations (typical markers of heavy fuel oil combustion) was related to meteorology and ship traffic intensity in the Straight of Sicily, using a high-resolution regional model for calculation of back trajectories. Elevated concentration of V and Ni at Capo Granitola and Lampedusa are found to correspond with air masses from the Straight of Sicily and coincidences between trajectories and positions of large ships; the vertical structure of the planetary boundary layer also appears to play a role, with high V values associated with strong inversions and a stable boundary layer. The V concentration was generally lower at Lampedusa than at Capo Granitola V, where it reached a peak value of 40 ng m−3. Concentrations of rare earth elements (REEs), La and Ce in particular, were used to identify possible contributions from refineries, whose emissions are also characterized by elevated V and Ni amounts; refinery emissions are expected to display high La ∕ Ce and La ∕ V ratios due to the use of La in the fluid catalytic converter systems. In general, low La ∕ Ce and La ∕ V ratios were observed in the PM samples. The combination of the analyses based on chemical markers, air mass trajectories and ship routes allows us to unambiguously identify the large role of the ship source in the Straight of Sicily. Based on the sampled aerosols, ratios of the main aerosol species arising from ship emission with respect to V were estimated with the aim of deriving a lower limit for the total ship contribution to PM10. The estimated minimum ship emission contributions to PM10 were 2.0 µg m−3 at Lampedusa and 3.0 µg m−3 at Capo Granitola, corresponding with 11 and 8.6 % of PM10, respectively

Equal abundance of summertime natural and wintertime anthropogenic Arctic organic aerosols

Organic aerosols in the Arctic are predominantly fuelled by anthropogenic sources in winter and natural sources in summer, according to observations from eight sites across the Arctic Aerosols play an important yet uncertain role in modulating the radiation balance of the sensitive Arctic atmosphere. Organic aerosol is one of the most abundant, yet least understood, fractions of the Arctic aerosol mass. Here we use data from eight observatories that represent the entire Arctic to reveal the annual cycles in anthropogenic and biogenic sources of organic aerosol. We show that during winter, the organic aerosol in the Arctic is dominated by anthropogenic emissions, mainly from Eurasia, which consist of both direct combustion emissions and long-range transported, aged pollution. In summer, the decreasing anthropogenic pollution is replaced by natural emissions. These include marine secondary, biogenic secondary and primary biological emissions, which have the potential to be important to Arctic climate by modifying the cloud condensation nuclei properties and acting as ice-nucleating particles. Their source strength or atmospheric processing is sensitive to nutrient availability, solar radiation, temperature and snow cover. Our results provide a comprehensive understanding of the current pan-Arctic organic aerosol, which can be used to support modelling efforts that aim to quantify the climate impacts of emissions in this sensitive region.Peer reviewe

Progetto e realizzazione del prototipo di laboratorio dello spettrometro a trasformata di Fourier (REFIR) per il sondaggio remoto della banda rotazionale del vapor d'acqua (100-1000 cm"-"1)

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal

The Italian external quality assessment scheme in classical cytogenetics: four years of activity

The Italian external quality assessment scheme in classical cytogenetics was started in 2001 as an activity funded by the National Health System and coordinated by the Italian Public Institute of Health. Objectives: The aim of our work is to present data from the first 4 years of activity, 2001–2004. Methods: Italian cytogenetics public laborato- ries were enrolled on a voluntary basis, and this nationwide program covered prenatal, postnatal and oncological diag- nosis. The scheme is annual and retrospective; a panel of ex- perts reviewed the quality of images and reports in order to assess technical, analytical and interpretative performance. Results: Over the 4-year period, the number of participating laboratories increased: from 36 in 2001, 46 in 2002, 49 in 2003 to 51 in 2004. The overall technical performance was satis-factory. Inadequacy or lack of information in reporting was the most frequent analytical inaccuracy identified in all parts of the scheme. However, the percentage of complete re- ports increased significantly during the period: by 36% in postnatal diagnosis between 2001 and 2004 (p ! 0.001) and by 42% in oncological diagnosis between 2002 and 2004 (p = 0.003). Conclusions: Our experience reveals that par- ticipation in external quality assessment programs has sig- nificant advantages, helping to standardize and to assure quality in cytogenetic testing